$\forall$$T$:Type, ${\it as}$:$T$ List, $f$, $g$:($T$$\rightarrow\mathbb{B}$). priority{-}select($f$;$g$;${\it as}$) $\in$ $\mathbb{B}$+Unit